
void init_monitor(int, char *[]);

void restart();

void ui_mainloop();

int main(int argc, char *argv[]) {

    /* Initialize the monitor. */
    init_monitor(argc, argv);

    /* Initialize the virtual computer system. */
    restart();

    /* Receive commands from user. */
    ui_mainloop();

    return 0;
}
